Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท16h
๐ปProgramming languages
Flag this post
Nonmonotonic Logic
๐Linear Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐ปProgramming languages
Flag this post
Stochastic computing
scottlocklin.wordpress.comยท3h
๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Quantum computers reveal that the wave function is a real thing
newscientist.comยท3h
โ๏ธQuantum Tape
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
๐บ๏ธCompetency Maps
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐งฎAlgebraic Archives
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.orgยท3d
๐งฎTheoretical Computer Science
Flag this post
Horn Clauses
youtube.comยท3h
๐Isabelle/HOL
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ง Lisp Dialects
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท2h
๐งชProperty-Based Testing
Flag this post
Loading...Loading more...